261. Mind versus computer: were Dreyfus and Winograd right?
پدیدآورنده : edited by M. Gams, M. Paprzycki, and X. Wu
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Artificial intelligence,، Machine learning,، Logic programming
رده :
Q
334
.
5
.
M56
262. Mind versus computer :were Dreyfus and Winograd right?
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Artificial intelligence,، Machine learning,، Logic programming
رده :
Q
334
.
5
.
M56
1997
263. Model and data engineering :
پدیدآورنده : El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture, Congresses.,Database management, Congresses.,Knowledge management, Congresses.,Artificial Intelligence.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer architecture.,Computer programming / software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Database management.,Information retrieval.,Knowledge management.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
D3
264. Modeling decisions for artificial intelligence :
پدیدآورنده : Vicenç Torra [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence -- Mathematical models -- Congresses.,Artificial intelligence -- Mathematical models.,Informatique.
265. Multi-agent systems :
پدیدآورنده : Marija Slavkovik (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Multiagent systems, Congresses.,Multiagent systems.
رده :
QA76
.
76
.
I58
266. Multiparadigm constraint programming languages /
پدیدآورنده : Petra Hofstedt
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Constraint programming (Computer science),Multiparadigm programming (Computer science),Programming languages (Electronic computers),Computer science
رده :
QA76
.
6
.
H64
2011
267. Multiparadigm constraint programming languages /
پدیدآورنده : Petra Hofstedt
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Constraint programming (Computer science),Multiparadigm programming (Computer science),Programming languages (Electronic computers),Computer science
رده :
QA76
.
6
.
H64
2011
268. Natural language understanding
پدیدآورنده : Allen, James
موضوع : ، Programming languages )Electronic computers(- Semantics,، Language and logic,، Artificial intelligence
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
269. Natural language understanding
پدیدآورنده : / James Allen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Programming languages (Electronic computers)- Semantics,Language and logic,Artificial intelligence
رده :
QA76
.
7
.
A44
1995
270. Natural language understanding
پدیدآورنده : / James Allen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Programming languages (Electronic computers)- Semantics,Language and logic,Artificial intelligence
رده :
QA76
.
7
.
A44
1995
271. New Learning Paradigms in Soft Computing
پدیدآورنده : edited by Lakhmi C. Jain, Janusz Kacprzyk.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Engineering.
272. Next generation intelligent networks /
پدیدآورنده : Johan Zuidweg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer networks.,Value-added networks (Computer networks),Artificial intelligence.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Value-added networks (Computer networks)
رده :
TK5105
.
84
.
Z85
2002eb
273. Non-monotonic extensions of logic programming :
پدیدآورنده : Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming.,Nonmonotonic reasoning.
رده :
QA76
.
63
.
N68
1995
274. Non-monotonic extensions of logic programming : Second International Workshop NMELP'96, Bad Honnef, Germany, September 5-6, 1996 : selected papers
پدیدآورنده : Jurgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, )eds.(
کتابخانه: (طهران)
موضوع : ، Logic programming,، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1216
275. Nonmonotonic and inductive logic : Second International Workshop Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings
پدیدآورنده : G. Brewka, K.P. Jantke, P.H. Schmitt )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
659
276. Nonmonotonic and inductive logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990: proceedings
پدیدآورنده : J. Dix, K.P. Jantke, P.H. Schmitt )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
543
277. Optimization and Artificial Intelligence in Civil and Structural Engineering :
پدیدآورنده : edited by B.H.V. Topping.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Civil engineering.,Engineering.,Mechanics.
رده :
TA153
.
E358
1992
278. Over-constrained systems
پدیدآورنده : Michael Jampel, Eugene Freuder, Michael Maher, )eds.(
کتابخانه: (طهران)
موضوع : ، Logic programming,، Constraints )Artificial intelligence(,، System analysis
رده :
QA
76
.
L28
Vol
.
1106
279. PRICAI 2000 :
پدیدآورنده : 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000 ; Riichiro Mizoguchi, John Slaney (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : računalništvo -- umetna inteligenca -- logika -- logično programiranje -- ojačano učenje -- strojno učenje -- odkrivanje znanja -- Bayesianove mreže -- avtonomni agenti -- genetski algoritmi -- genetsko programiranje -- nevronske mreže -- rob
280. PRIMA 2018 :
پدیدآورنده : Tim Miller, Nir Oren, Yuko Sakurai, Itsuki Noda, Bastin Tony Roy Savarimuthu, Tran Cao Son (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Multiagent systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Multiagent systems.,Network hardware.,Software Engineering.
رده :
QA76
.
76
.
I58